| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Compiler Construction | Compilerbau | Fach-/Modulprüfung | 6 | 309090 | ||
| Compilerbau | Übung | 273914 | Mo 15:15-16:45 AH V (2356|050) (×14) Fr 13:00-15:00 5056 (2356|056) (×1) | |||
| Compilerbau | Vorlesung | 273913 | Mo 12:30-14:00 AH VI (2356|051) (×11) Do 12:30-14:00 AH V (2356|050) (×11) | |||
| Concurrency Theory | Concurrency Theory | Fach-/Modulprüfung | 6 | 371825 | ||
| Graph Algorithms | Algorithmische Graphentheorie | Fach-/Modulprüfung | 6 | 308898 | ||
| Algorithmische Graphentheorie - Übung | Tutorium | 273114 | Di 12:30-14:00 Seminarraum i1, Raum 4017 (2353|017) (×11) Mi 12:30-14:00 Seminarraum i1, Raum 4017 (2353|017) (×10) | |||
| Algorithmische Graphentheorie | Vorlesung | 273113 | Di 16:30-18:00 AH II (2350|111) (×11) | |||
| Graph Decompositions and Algorithmic Applications | Graph Decompositions and Algorithmic Applications | Fach-/Modulprüfung | 6 | 284100 | ||
| Graph Decompositions and Algorithmic Applications (Übung) | Übung | 273987 | Di 12:30-14:00 5054 (2356|054) (×14) | |||
| Graph Decompositions and Algorithmic Applications | Vorlesung | 273986 | Mo 16:30-18:00 5054 (2356|054) (×10) Do 12:30-14:00 5056 (2356|056) (×9) Do 12:30-14:00 AH V (2356|050) (×1) | |||
| Infinite Computations and Games | Infinite Computations and Games | Fach-/Modulprüfung | 6 | 284097 | ||
| Infinite Computations and Games | Übung | 270142 | Mo 10:30-12:00 5055 (2356|055) (×1) Do 10:30-11:30 AH III (2350|314.1) (×1) Do 16:30-18:00 AH III (2350|314.1) (×1) | |||
| Infinite Computations and Games | Vorlesung | 270658 | Do 09:30-10:15 2350|009 (×11) | |||
| Logic and Games | Logik und Spiele | Fach-/Modulprüfung | 8 | 312369 | ||
| Logik und Spiele | Fach-/Modulprüfung | 8 | 353559 | |||
| Logik und Spiele (Übungen) | Übung | 274139 | ||||
| Logik und Spiele | Vorlesung | 274138 | Di 10:30-12:00 2350|009 (×14) Do 12:30-14:00 I (1010|101) (×14) | |||
| Mathematical Logic II | Mathematische Logik II | Fach-/Modulprüfung | 8 | 312379 | ||
| Mathematische Logik II | Übung | 266557 | ||||
| Mathematische Logik II | Vorlesung | 268041 | ||||
| Modeling and Verification of Probabilistic Systems | Modellierung und Verifikation probabilistischer Systeme | Fach-/Modulprüfung | 6 | 309094 | ||
| Modellierung und Verifikation probabilistischer Systeme | Übung | 273905 | ||||
| Modellierung und Verifikation probabilistischer Systeme | Vorlesung | 273904 | ||||
| Module Complexity Theory | Komplexitätstheorie | Fach-/Modulprüfung | 6 | 284084 | ||
| Übung zur Vorlesung Komplexitätstheorie | Übung | 273991 | ||||
| Komplexitätstheorie | Vorlesung | 273990 | ||||
| Parameterized Algorithms | Parametrisierte Algorithmen | Fach-/Modulprüfung | 8 | 350393 | ||
| Parametrisierte Algorithmen | Übung | 273068 | Mo 15:30-17:00 5056 (2356|056) (×13) | |||
| Parametrisierte Algorithmen | Vorlesung | 272981 | Di 08:30-10:00 5054 (2356|054) (×14) Do 08:30-10:00 5054 (2356|054) (×14) | |||
| Probabilistic Programming | Probabilistische Programmierung | Fach-/Modulprüfung | 6 | 309095 | ||
| Probabilistische Programmierung | Übung | 273920 | Fr 14:30-16:00 5056 (2356|056) (×12) | |||
| Probabilistische Programmierung | Vorlesung | 273906 | Di 14:30-16:00 5052 (2356|052) (×14) Do 14:30-16:00 5055 (2356|055) (×13) Do 14:30-16:00 S13 (1385|213) (×1) | |||
| Satisfiability Checking | Erfüllbarkeitsüberprüfung (Satisfiability Checking) | Fach-/Modulprüfung | 6 | 369796 | ||
| Stochastic Games | Stochastic Games | Fach-/Modulprüfung | 6 | 284044 | ||
| Stochastic Games | Übung | 273985 | Mi 16:00-17:00 5055 (2356|055) (×12) | |||
| Stochastic Games | Vorlesung | 273984 | Mo 10:30-12:00 5055 (2356|055) (×1) Mo 10:30-12:00 Seminarraum i7, Raum 4116 (2353|116) (×8) Mi 14:00-15:30 Seminarraum i7, Raum 4116 (2353|116) (×1) |